FixPoint相关论文
树逻辑,从周围的逻辑继承了,作为相关程序语言和类型系统的正式基础被介绍。在这篇论文,我们介绍递归进如此的逻辑系统,它能更清楚地并......
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法,基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型逻......
命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......
分析了循环ALC+的语法及语义特征,指出循环ALC+-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的......
GSM系统的全称是泛欧数字蜂窝移动通信系统。它在世界三大移动通信系统(美国的ADC系统,日本的PDC系统)中应用的国家和地区最广,其中包括我国。GSM采......
并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一。建立了具有互斥约束系统的一般......
在没有无限性公理的ZF集论中给出一个偏序集不动点定理....